Stochastic programming

Results: 538



#Item
181X86-64 / Low-level programming language / GNU Compiler Collection / Markov chain Monte Carlo / C / Segmentation fault / Strength reduction / MOV / Program optimization / Computing / Software / X86 architecture

Stochastic Superoptimization Eric Schkufza Rahul Sharma Alex Aiken

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2013-01-20 12:06:36
182Stochastic processes / Markov models / Equations / Markov chain / Dynamic programming / Optimal control / Continuous-time Markov process / Poisson process / Statistics / Markov processes / Mathematical optimization

Optimal Reinsurance Strategies in Regime-switching Jump Diffusion Models: Stochastic Differential Game Formulation and Numerical Methods Zhuo Jin,∗ G. Yin,†

Add to Reading List

Source URL: fbe.unimelb.edu.au

Language: English - Date: 2014-04-02 01:29:50
183Dynamic programming / Markov processes / Stochastic control / User interfaces / Partially observable Markov decision process / Dialog system / Speech recognition / User interface / Dialogue / Human–computer interaction / Statistics / User interface techniques

Optimal Dialog in Consumer-Rating Systems using a POMDP Framework Zhifei Li Patrick Nguyen, Geoffrey Zweig Center for Language and Speech Processing Microsoft Corporation Johns Hopkins University

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2008-07-01 12:34:57
184Theoretical computer science / Compiler construction / Programming language implementation / Bioinformatics / Stochastic context-free grammar / Complexity classes / Left corner / Parse tree / Parsing / Formal languages / Linguistics / Statistical natural language processing

LSA 354: Statistical Parsing: Problem Set [Some of these problems are borrowed with thanks from Michael Collins and Regina Barzilay.] Question 1 Let’s use a very simple grammar (where S is the start symbol, and termina

Add to Reading List

Source URL: nlp.stanford.edu

Language: English - Date: 2007-07-10 03:17:11
185Mathematics / Logic in computer science / NP-complete problems / Electronic design automation / Formal methods / Satisfiability Modulo Theories / WalkSAT / Resolution / Local search / Theoretical computer science / Constraint programming / Applied mathematics

Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT ? Alberto Griggio1 , Quoc-Sang Phan2 , Roberto Sebastiani2 and Silvia Tomasi2

Add to Reading List

Source URL: disi.unitn.it

Language: English - Date: 2011-10-12 05:34:03
186Systems theory / Mathematical optimization / Operations research / Equations / Stochastic control / Reinforcement learning / Markov decision process / Bellman equation / Policy / Statistics / Control theory / Dynamic programming

Journal of Artificial Intelligence Research Submitted 3/13; publishedA Survey of Multi-Objective Sequential Decision-Making Diederik M. Roijers

Add to Reading List

Source URL: www.jair.org

Language: English - Date: 2013-10-18 15:20:49
187Programming language implementation / Science / Statistical natural language processing / Parsing / Bioinformatics / Stochastic context-free grammar / Chart parser / Top-down parsing / LL parser / Formal languages / Linguistics / Compiler construction

A* Parsing: Fast Exact Viterbi Parse Selection Dan Klein Computer Science Department Stanford University Stanford, CA

Add to Reading List

Source URL: nlp.stanford.edu

Language: English - Date: 2003-04-01 00:33:16
188Stochastic grammar / Science / Text corpus / Natural language processing / Neuro-linguistic programming / Linguistics / Computational linguistics / Corpus linguistics

Introduction FSNLP, chapter 1 Christopher Manning and Hinrich Schütze © 1999–2002 1

Add to Reading List

Source URL: nlp.stanford.edu

Language: English - Date: 2015-02-22 12:44:10
189Stochastic control / Reinforcement learning / Markov decision process / Valuation / Policy / Statistics / Dynamic programming / Markov processes

Journal of Artificial Intelligence Research Submitted 01/05; published 1/06 Approximate Policy Iteration with a Policy Language Bias: Solving Relational Markov Decision Processes

Add to Reading List

Source URL: www.jair.org

Language: English - Date: 2009-08-06 19:20:12
190Programming language implementation / Compiler construction / Parsing / Treebank / Stochastic context-free grammar / Bottom-up parsing / LL parser / LALR parser / Linguistics / Science / Formal languages

LSA 354 Programming Assignment: A Treebank Parser Due Tue, 24 July 2007, 5pm Thanks to Dan Klein for the original assignment.

Add to Reading List

Source URL: nlp.stanford.edu

Language: English - Date: 2007-07-16 23:45:01
UPDATE